% user responds 'x' at TeX request for file name
\end
